Wednesday, May 12, 2004

reductio ad absurdum

"...a type of logical argument where we assume a claim for the sake of argument, arrive at an absurd result, and then conclude the original assumption must have been wrong, since it gave us this absurd result. This is also known as proof by contradiction. It makes use of the law of excluded middle - a statement which cannot be false, must then be true..."


Stolen from:

here
and
here

0 Comments:

Post a Comment

<< Home